The Compact Dynamic Bus Station

This document is one of the parts of the electronic version of the PhD thesis by S F M van Vlijmen The goal of the PhD project was to get a better under standing of the problems with the integration of formal speci cation technique in the day to day software practice The approach followed was to execute a number of projects in cooperation with industry on realistic cases In this document is reported on the design of an innovative system for the control of bus stations The innovative aspect is that buses do not have a xed platform at the station the platform is dynamically assigned and communicated to the driver upon entering the station It was tried to specify data and processes in an algebraic style During the project it turned out that formal speci cation in this style did not work to our advantage Fall Nederland Haarlem assigned to the University of Utrecht two re search projects One devoted to a control system for compact dynamic bus stations and another devoted to a decision support system for replacement of lamps in tra c lights that optimizes for e ciency and reliability Both projects were executed in close cooperation with the National Research In stitute for Mathematics and Computer Science CWI The former project is discussed in this chapter the latter forms the subject of Section of Chapter of The presentation in this chapter is based on the project report We thank Jan Kroone and Hans van Ruijven of Nederland Haarlem for their cooperation and support Note that references are made to chapters and sometimes to sections that may be stored as separate les at the ENTCS site The original text has been partitioned into preface and the Chapters to each part is stored in a separate le and each part has its own bibliography and appendices To circumvent confusion a reference to a part of the thesis outside the part at hand is followed by a bibliography style reference c Published by Elsevier Science B V